negated predicate

См. также в других словарях:

• Stratification (mathematics) — Stratification has several usages in mathematics. In mathematical logic In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretationof a logical theory exists …   Wikipedia

• Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia

• HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… …   Encyclopedia of Judaism

• Idealism (italian) and after — Italian idealism and after Gentile, Croce and others Giacomo Rinaldi INTRODUCTION The history of twentieth century Italian philosophy is strongly influenced both by the peculiar character of its evolution in the preceding century and by… …   History of philosophy

• Tsez language — Tsez цезяс мец / cezyas mec Pronunciation [t͡sɛzˈjas mɛt͡s] Spoken in Russia Region Southern Dagestan …   Wikipedia

• syllogistic — syllogistically, adv. /sil euh jis tik/, adj. Also, syllogistical. 1. of or pertaining to a syllogism. 2. like or consisting of syllogisms. n. 3. the part of logic that deals with syllogisms. 4. syllogistic reasoning. [1660 70; < L syllogisticus… …   Universalium

• Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… …   Wikipedia

• Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… …   Wikipedia

• Mongolian language — Mongolian Монгол Mongol, ᠮᠣᠨᠭᠭᠣᠯ Mongɣol Pronunciation /mɔŋɢ …   Wikipedia

• Universal quantification — In predicate logic, universal quantification is an attempt to formalize the notion that something (a logical predicate) is true for everything , or every relevant thing.The resulting statement is a universally quantified statement, and we have… …   Wikipedia

• Chavacano language — Philippine Creole Spanish Chavacano or Chabacano Spoken in  Philippines Region …   Wikipedia